Skip to content

Fix Copyright Headers#53

Merged
julien-michot merged 1 commit intomainfrom
fix/copyright-headers
Jan 24, 2026
Merged

Fix Copyright Headers#53
julien-michot merged 1 commit intomainfrom
fix/copyright-headers

Conversation

@julien-michot
Copy link
Owner

Let's simplify the headers

@julien-michot julien-michot merged commit 7b21291 into main Jan 24, 2026
3 checks passed
@julien-michot julien-michot deleted the fix/copyright-headers branch January 24, 2026 06:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant